1. His work on automata theory investigates determinization and complementation of Rabin automata. 2. The global state approach was continued in automata theory for nondeterministic versions. 3. Ulam's work on non-cellular automata theory , population biology, pattern recognition, and biometrics generally. 4. Recognizable sets are useful in automata theory , formal languages and algebra. 5. In automata theory , a "'semi-deterministic B�chi automaton "'is a special type of B�chi automaton. 6. He is known for his contributions to mathematical logic, circuit theory and automata theory . 7. It has applications to enumerative combinatorics, fractal analysis, theoretical computer science, automata theory and linguistics. 8. The neighborhood is named after Edward F . Moore, a pioneer of cellular automata theory . 9. Automata theory is closely related to formal language theory.10. His work in automata theory led the switching theory community into a more theoretical direction.